Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
ثبت نشده
چکیده
Well, someone can decide by themselves what they want to do and need to do but sometimes, that kind of person will need some reliable software technologies ada europe 2009 14th ada europe international conference brest france june 8 12 2009 proceedings lecture notes in computer science references. People with open minded will always try to seek for the new things and information from many sources. On the contrary, people with closed mind will always think that they can do it by their principals. So, what kind of person are you?
منابع مشابه
Process-Algebraic Interpretation of AADL Models
We present a toolset for the behavioral verification and validation of architectural models of embedded systems expressed in the language AADL. The toolset provides simulation and timing analysis of AADL models. Underlying both tools is a process-algebraic implementation of AADL semantics. The common implementation of the semantics ensures consistency in the analysis results between the tools. ...
متن کاملThe SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code
This article presents the quality and analysis model of the SQALE assessment method of software source code. It explains how an Ada quality model compliant to SQALE is implemented and the results of its application to selected software, and how the use of Ada reduces the quality debt unlike many other technologies.
متن کاملDispatching Domains for Multiprocessor Platforms and Their Representation in Ada
Motivation Multiprocessor and multicore platforms are becoming widespread For real-time systems the control of affinities is as important as the control of priorities Ada05 allows, but does not support, multiprocessor execution Reliable Software Technology – p. 2/26
متن کاملPARIS - Partitioned Ada for Remotely Invoked Services
This paper presents our experience implementing the Ada 95 Annex E to support distributed systems using the GNAT compilerr6]. The work has been performed by a multinational team from France and the USA. The paper describes the implementation of the Partition Communication System and the required support from the GNAT compiler. In addition, extensions beyond Annex E are described that facilitate...
متن کاملBooch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design
We study two textbooks for teaching undergraduate software engineering, both focusing on software design and data abstraction in particular. We describe the differences in their didactic approaches. We analyze how the subject matter is influenced by the choice of programming language, one book using Ada and the other book using Java. Java is a relatively new candidate for teaching software engi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره 5570 شماره
صفحات -
تاریخ انتشار 2009